//#include "stm32f10x.h"
//#include "delay.h"
//#include "stdio.h"


//void EXTI15_10_IRQHandler(void) 
//{
//	if (EXTI_GetITStatus(EXTI_Line12)!=RESET)
//	{
//		Delay_ms(10);
//		printf("the user_key has been pressed\n");
//	}
//	EXTI_ClearITPendingBit(EXTI_Line12);
//}